derivation of s=ut